bugün məsləhət təsadüfi

postlar Yoxlama mesaj

...

metaməntiq

əjdahalar googlla
məntiqi semantika - məntiqi sintaksis

1. müasir formal məntiqin sistem və anlayışlarını tədqiq edən nəzəriyyə. sübutlar, formallaşdırılmış dillərdə həqiqət, anlayışların müəyyənedilənliyi, təfsir, məna və s. nəzəriyyəsi məsələlərini tədqiq edir. iki bölməyə ayrılır:
1.(bax: məntiqi sintaksis)
2.(bax: məntiqi semantika)

#239048

süni intellekt

01.12.2016 - 16:25
+680 oxunma

şərhlər:

hələ şərh yoxdur.

xəbər lentindən bütün xəbərlər →

science Fermerlərin 233 milyon funt sterlinqlik maliyyələşmə uğrunda onlayn mübarizəyə qəzəbi

science Qlobal təhlil göstərir ki, quruda istilik dalğaları daha tez başlayır və daha sürətlə inkişaf edir

science Snapshotlar tropik parazitlərdəki əsas molekulyar mexanizmi atom səviyyəsinə yaxın dəqiqliklə aşkar edir

science AI dərmanabənzər molekullarda hidrogen mövqelərini proqnozlaşdırmaq üçün saatlarla 4,6 milyon birləşməni skan edir

hamısını göstər

üzv ol

...